Skip to content

Libraries read-only in IDE links - #25

Merged
cedricvogel-leo merged 1 commit into
mainfrom
feature/read-only-libraries
Oct 29, 2026
Merged

cedricvogel-leo merged 1 commit into
mainfrom
feature/read-only-libraries

Conversation

@cedricvogel-leo

Copy link
Copy Markdown
Collaborator

Decision 2 from the Etappe 4 check: a block's libraries (e.g. parser.py loaded by URL) are read-only in the IDE too, as «Datei ansehen» shows them here.

Changes

  • «IDE-Link kopieren» / «In IDE öffnen» mark the libraries readOnly: true in the IDE link.
  • A block file with a library's name replaces the library and stays editable.
  • README: one sentence in the «IDE-Link kopieren» section.

Order

Independent of the IDE PR. The current IDE ignores the flag, so the link works either way. With the IDE on glpython-editor v0.1.19 (IDE PR «Read-only files; bump glpython-editor to v0.1.19»), the library shows with a lock and can't be edited, renamed or deleted.

Tested in LiaScript

Hosted player in Chrome, this macro served locally, the evaluator course with parser.py as a library URL. I decoded the copied IDE link:

  • unnamed block: parser.py read-only, main.py not
  • block named auswerter.py: parser.py read-only, auswerter.py not; mainFile is auswerter.py

check-macro passes.

🤖 Generated with Claude Code

«IDE-Link kopieren» marks the block's libraries (loaded by URL) as
readOnly, so the IDE (with glpython-editor v0.1.19) shows them with a lock
and doesn't let them be edited, renamed or deleted - as «Datei ansehen»
shows them here. A block file with a library's name replaces it and stays
editable.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@cedricvogel-leo
cedricvogel-leo merged commit 78a3224 into main Oct 29, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant